$\forall$$T$:Type, $L$:($T$ List). ($L$ = []) $\Leftarrow\!\Rightarrow$ ($\forall$$x$:$T$. $\neg$($x$ $\in$ $L$))